#ifndef KC_MSGANRCOND_H__KC
#define KC_MSGANRCOND_H__KC

#include "Symbol.h"
#include "Operator.h"

namespace kc_sf
{
	class MsgANrCond : public Logic::Symbol
	{
		public:
			
			MsgANrCond( Operator op, int attachment_nr );

			Logic::Symbol *clone() const;

			bool eval( const Message &msg );

		private:

	    	Operator c_anr_operator;
	    	int c_anr;
	};
}

#endif /* KC_MSGANRCOND_H__KC */
